Conference Proceedings
On simulations and bisimulations of general flow systems
JM Davoren, P Tabuada
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics | SPRINGER-VERLAG BERLIN | Published : 2007
Abstract
We introduce a notion of bisimulation equivalence between general flow systems, which include discrete, continuous and hybrid systems, and compare it with similar notions in the literature. The interest in the proposed notion is based on our main result, that the temporal logic GFL* - an extension to general flows of the well-known computation tree logic CTL* - is semantically preserved by this equivalence. © Springer-Verlag Berlin Heidelberg 2007.
Grants
Awarded by Australian Research Council grant
Awarded by NSF CAREER award
Awarded by Direct For Computer & Info Scie & Enginr; Division Of Computer and Network Systems
Awarded by Australian Research Council
Funding Acknowledgements
First author partially supported by Australian Research Council grant DP0208553;second author partially supported by NSF CAREER award 0446716.